$\forall$${\it es}$:ES, ${\it Qa}$, ${\it Rb}$:(E$\rightarrow$E$\rightarrow\mathbb{P}$), $A$, $B$:Type, ${\it Ia}$:AbsInterface($A$), ${\it Ib}$:AbsInterface($B$), $f$:(E(${\it Ia}$)$\rightarrow$$B$).
\\[0ex]Q{-}R{-}glued(${\it es}$; $B$; $f$; ${\it Ia}$; ${\it Qa}$; ${\it Ib}$; ${\it Rb}$) $\in$ $\mathbb{P}$